Issue5029.agda:1,1-45
You may only turn off benign warnings. The warning TerminationIssue
is a non-fatal error and thus cannot be ignored. See
--help=warning.
